Implication Details

Assumptions: disjoint finite products, self-dual

Conclusions: disjoint finite coproducts

Proof: This holds by self-duality.